Ipotesi\!:\ C\^AB > C\^BA\
Tesi\!:\ \overline{BC} > \overline{AC}

1\ -\ Per\ assurdo\ sia\ \overline{BC} \cong 
\overline{AC}\ -\ Negazione\ della\ tesi

2\ -\ C\^AB \cong C\^BA\ -\ Angoli\ base\ 
triangolo\ isoscele

3\ - \overline{BC} \not\cong \overline{AC}\ -\ 
(2)\ contraddice\ l'ipotesi,\ quindi\ (1)\ è\ falsa

4\ -\ Per\ assurdo\ sia\ \overline{BC} < 
\overline{AC}\ -\ Negazione\ della\ tesi

5\ -\ C\^AB < C\^BA\ -\ Teorema\ triangoli\ 
con\ lati\ disuguali

6\ -\ \overline{BC} < \overline{AC}\ è\ falsa\ -\ 
(5)\ contraddice\ l'ipotesi,\ quindi\ (4)\ è\ falsa

7\ -\ \overline{BC} > \overline{AC}\ -\ Per\ (3)\ 
e\ (6)\ non\ vi\ sono\ altre\ possibilità\
Q.\ E.\ D.

http://www.profcortese.net

A = (-1.32, 0.56)
B = (4.94, 0.56)
C = (-0.22, 4.94)
poli1, c, a, b = Polygon(A, B, C)
α = Angle(C, A, B)
β = Angle(A, B, C)